60 ideas
| 5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
| 5728 | The concept of truth was originated by the senses [Lucretius] |
| 5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
| 5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
| 5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
| 5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
| 5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
| 5735 | Maybe names and predicates can capture any fact [Melia] |
| 5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
| 5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
| 5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
| 5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
| 5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
| 5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
| 5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
| 5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
| 5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
| 5729 | If the senses are deceptive, reason, which rests on them, is even worse [Lucretius] |
| 5702 | The senses are much the best way to distinguish true from false [Lucretius] |
| 5697 | The only possible standard for settling doubts is the foundation of the senses [Lucretius] |
| 5727 | Most supposed delusions of the senses are really misinterpretations by the mind [Lucretius] |
| 5714 | Even simple facts are hard to believe at first hearing [Lucretius] |
| 5718 | The mind is in the middle of the breast, because there we experience fear and joy [Lucretius] |
| 5717 | The mind is a part of a man, just like a hand or an eye [Lucretius] |
| 21387 | The separate elements and capacities of a mind cannot be distinguished [Lucretius] |
| 5709 | The actions of the mind are not determinate and passive, because atoms can swerve [Lucretius] |
| 5695 | Only bodies can touch one another [Lucretius] |
| 5711 | The earth is and always has been an insentient being [Lucretius] |
| 5712 | Particles may have sensation, but eggs turning into chicks suggests otherwise [Lucretius] |
| 5719 | The mind moves limbs, wakes the body up, changes facial expressions, which involve touch [Lucretius] |
| 5724 | Lions, foxes and deer have distinct characters because their minds share in their bodies [Lucretius] |
| 5713 | You needn't be made of laughing particles to laugh, so why not sensation from senseless seeds? [Lucretius] |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| 6611 | One man's meat is another man's poison [Lucretius] |
| 5730 | Our bodies weren't created to be used; on the contrary, their creation makes a use possible [Lucretius] |
| 5726 | The dead are no different from those who were never born [Lucretius] |
| 5705 | Nature only wants two things: freedom from pain, and pleasure [Lucretius] |
| 7810 | The 'Eumenides' of Aeschylus shows blood feuds replaced by law [Aeschylus, by Grayling] |
| 5716 | Nature runs the universe by herself without the aid of gods [Lucretius] |
| 5704 | There can be no centre in infinity [Lucretius] |
| 5703 | The universe must be limitless, since there could be nothing outside to limit it [Lucretius] |
| 5693 | Everything is created and fed by nature from atoms, and they return to atoms in death [Lucretius] |
| 5701 | If an object is infinitely subdivisible, it will be the same as the whole universe [Lucretius] |
| 5708 | In downward motion, atoms occasionally swerve slightly for no reason [Lucretius] |
| 17004 | Nothing can break the binding laws of eternity [Lucretius] |
| 5706 | Atoms move themselves [Lucretius] |
| 5696 | If there were no space there could be no movement, or even creation [Lucretius] |
| 5700 | It is quicker to break things up than to assemble them [Lucretius] |
| 5698 | We can only sense time by means of movement, or its absence [Lucretius] |
| 5715 | This earth is very unlikely to be the only one created [Lucretius] |
| 5694 | Nothing can be created by divine power out of nothing [Lucretius] |
| 5699 | If matter wasn't everlasting, everything would have disappeared by now [Lucretius] |
| 5707 | The universe can't have been created by gods, because it is too imperfect [Lucretius] |
| 5710 | Gods are tranquil and aloof, and have no need of or interest in us [Lucretius] |
| 5731 | Why does Jupiter never hurl lightning from a blue sky? [Lucretius] |
| 5720 | Spirit is mortal [Lucretius] |
| 5722 | For a separated spirit to remain sentient it would need sense organs attached to it [Lucretius] |
| 5725 | An immortal mind couldn't work harmoniously with a mortal body [Lucretius] |
| 5721 | The mind is very small smooth particles, which evaporate at death [Lucretius] |
| 5723 | If spirit is immortal and enters us at birth, why don't we remember a previous existence? [Lucretius] |